<?php
$max = getrandmax();
echo $max;
?>
